/*
 * Prints "Hello, World!".
 */
void    helloWorld ( 
)       {
                print("Hello, World!"    ) ;// print "Hello, World!"
  }                // done

   